Abstract State Machine Language - PDFSEARCH.IO - Document Search Engine

Abstract State Machine Language
Results: 22

#	Item
11	Using JFLAP to Interact with Theorems in Automata Theory Eric Gramond and Susan H. Rodger Duke University, Durham, NC [removed] Abstract Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 1999-01-05 11:27:33 Computer science Applied mathematics Deterministic finite automaton Nondeterministic finite automaton Finite-state machine Computability Deterministic pushdown automaton Context-free language Pushdown automaton Automata theory Models of computation Theoretical computer science
12	On Regular Expression Matching and Deterministic Finite Automata Philip Bille∗ Technical University of Denmark, DTU Compute ABSTRACT Add to Reading List Source URL: tinytocs.org Language: English - Date: 2015-03-07 12:34:01 Applied mathematics Deterministic finite automaton Nondeterministic finite automaton Regular language Regular expression Finite-state machine Matching String searching algorithm Synchronizing word Automata theory Theoretical computer science Computer science
13	Validation of Contract Decomposition by Testing Mass Soldal Lund Department of Informatics, University of Oslo, Norway SINTEF Telecom and Informatics, Norway email: [removed] Abstract Add to Reading List Source URL: www.nik.no Language: English - Date: 2002-10-15 10:55:59 UML diagrams Science Technology Specification and Description Language Functional testing Unified Modeling Language Specification language Finite-state machine Modeling language Software testing Diagrams Software engineering
14	Automata theory Hard decision problems Regular Cost Functions Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-10-15 08:27:58 Mathematics Semigroup theory Algebra Category theory Models of computation Regular language Monoid Finite-state machine Free monoid Formal languages Abstract algebra Automata theory
15	Microsoft PowerPoint - ad-fieldingmfg[removed]Compatibility Mode] Add to Reading List Source URL: www.lec.ethz.ch Language: English - Date: 2014-08-15 04:24:00 Microtechnology Extreme ultraviolet lithography Extreme ultraviolet Photolithography Multiple patterning Photomask Semiconductor device fabrication Ultraviolet Abstract State Machine Language Materials science Technology Electromagnetic radiation
16	Toward a Semantic Anchoring Infrastructure for Domain-Specific Modeling Languages ∗ Kai Chen Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2008-06-17 13:28:14 Scientific modeling Software development Science ISO standards Formal methods Finite-state machine Abstract state machines Metamodeling Generic Modeling Environment Unified Modeling Language Software engineering Models of computation
17	Microsoft Word - Japan_WP3_Remedies in cross-border merger.docx Add to Reading List Source URL: www.jftc.go.jp Language: English - Date: 2014-04-03 00:05:36 Mergers and acquisitions Business Competition law Abstract State Machine Language Extreme ultraviolet lithography Cymmer Government procurement in the United States Technology Law Cymer Inc. Japanese competition law ASML Holding
18	1 Automata Theory Program file for this chapter: fsm Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2003-12-25 20:47:48 Theoretical computer science Computer science Finite-state machine Deterministic finite automaton Nondeterministic finite automaton Abstract machine Formal language State diagram State Models of computation Theory of computation Automata theory
19	INTERNATIONAL TELECOMMUNICATION UNION ITU-T TELECOMMUNICATION STANDARDIZATION SECTOR OF ITU Add to Reading List Source URL: www.itu.int Language: English - Date: 2001-09-25 08:37:28 Computing Software engineering ITU-T Finite-state machine Message Sequence Chart Abstract Syntax Notation One G.992.3 CHILL International Telecommunication Union Diagrams Specification and Description Language Formal methods
20	Lecture notes on automata, languages, and grammars Cristopher Moore January 11, 2013 Abstract These lecture notes are intended as a supplement to Moore and Mertens’ The Nature of Computation, and are available to anyon Add to Reading List Source URL: tuvalu.santafe.edu Language: English - Date: 2013-01-11 13:28:25 Applied mathematics Nondeterministic finite automaton Myhill–Nerode theorem DFA minimization Regular language Deterministic finite automaton Regular expression Finite-state machine Powerset construction Automata theory Theoretical computer science Computer science

UPDATE